A Geometric Approach to Strategic Conflict Detection and Resolution
نویسندگان
چکیده
Conflict detection and resolution (CD&R) systems predict loss of separation between aircraft and propose conflict avoidance maneuvers for the aircraft involved in the conflict. Given a pair of aircraft in conflict, the ownship and the intruder, the resolution system diverts the ownship from its original trajectory. In this paper, we introduce the concept of recovery course. A recovery course redirects the ownship to its original target waypoint without introducing new conflicts, in a geometric optimal way. Based on resolution and recovery concepts, we also develop a strategic CD&R approach that produces conflict-free flight plans for the ownship and the intruder aircraft. The resolution and recovery algorithm is computationally efficient and amenable to formal verification. We provide a rigorous analysis of the problem and the basis of the correctness proof of our approach.
منابع مشابه
Conflict Detection and Resolution for 1 , 2 , . . . , N Aircraft Gilles
Formal methods in computer science refers to the use of logic and mathematics to verify that a system design and its implementation satisfy functional requirements and safety properties. Despite the fact that several Conflict Detection and Resolution (CD&R) systems have been proposed in the past few years, very few of these systems have been described and analyzed using formal methods. Therefor...
متن کاملProbabilistic Conflict Detection for Robust Detection and Resolution
Any prediction of the future position and trajectory of an aircraft will contain errors due to both uncertainty caused by the environment and imperfect and incomplete information available to the prediction system. These prediction errors complicate conflict detection and resolution resulting in late or missed conflict detections and false alerts. Generally there are two types of conflict detec...
متن کاملStratway: A Modular Approach to Strategic Conflict Resolution
In this paper we introduce Stratway, a modular approach to finding long-term strategic resolutions to conflicts between aircraft. The modular approach provides both advantages and disadvantages. Our primary concern is to investigate the implications on the verification of safety-critical properties of a strategic resolution algorithm. By partitioning the problem into verifiable modules much str...
متن کاملEffect of brief self-regulation couple therapy in conflict resolution and couple burnout
Unconstructive conflict resolution and couple burnout have a negative impact on quality of marital life. Brief self-regulation couple therapy is one of the effective approaches in transmission teachings and marital skills to couples. The aim of the current research was to investigate the effect of brief self-regulation couple therapy in conflict resolution and couple burnout among troubled coup...
متن کاملThe Role of Cultural Intelligence and Conflict Resolution in Predicting Sports Success of Iranian Paralympic Athletes: Presenting a Structural Equation Model
Background and Aim: The Paralympic Games are a major international multi-sport event for athletes with physical disabilities or intellectual impairments. The current study develops a model of the effect of cultural intelligence on conflict resolution and the success of Iranian Paralympic athletes. Methods: This is a descriptive correlational study. Participants in this study were 124 athletes w...
متن کامل